#include "text.h"

int printf_x(int x)
{
    printf("%d",x+2);
}